formaliz相关论文
为促进软件用户界面的工程设计，该文提出了一种支持用户界面自动生成的交互模型。它对UML中交互模型的概念加以扩展，添加与界面生成......
为了在产品设计过程中充分认知、挖掘和利用顾客需求,提出了需求驱动的复杂机电产品设计方案求解方法。采用数学描述方法,从理性的......
利用功能表面来形式化表达产品基因以支持机械产品概念创新设计。用数学方法描述了功能表面模型和产品基因模型，提出了一种变长度的......
